Preservation of interpolation by fibring
نویسندگان
چکیده
منابع مشابه
Preservation of Interpolation Features by Fibring
Fibring is a metalogical constructor that permits to combine different logics by operating on their deductive systems under certain natural restrictions, as for example that the two given logics are presented by deductive systems of the same type. Under such circumstances, fibring will produce a new deductive system by means of the free use of inference rules from both deductive systems, provid...
متن کاملFibring Logics: Past, Present and Future
This paper is a guided tour through the theory of fibring as a general mechanism for combining logics. We present the main ideas, constructions and difficulties of fibring, from both a model and a proof-theoretic perspective, and give an outline of soundness, completeness and interpolation preservation results. Along the way, we show how the current algebraic semantics of fibring relates with t...
متن کاملFibring as Biporting Subsumes Asymmetric Combinations
The transference of preservation results between importing (a logic combination mechanism that subsumes several asymmetrical mechanisms for combining logics like temporalization, modalization and globalization) and unconstrained fibring is investigated. For that purpose, a new (more convenient) formulation of fibring, called biporting, is introduced. The equivalence between fibring and biportin...
متن کاملCategorical Abstract Algebraic Logic: Fibring of π-Institutions
Inspired by work of Fernández and Coniglio, we study a framework for combining, by fibring, logics formalized as π-institutions. Fibring of deductive systems, i.e., finitary and structural consequence relations over sets of formulas, as presented by Fernández and Coniglio, becomes a special case of fibring of π-institutions. Moreover, we show how their study of preservation of algebraic propert...
متن کاملRecovering a Logic from Its Fragments by Meta-Fibring
In this paper we address the question of recovering a logic system by combining two or more fragments of it. We show that, in general, by fibring two or more fragments of a given logic the resulting logic is weaker than the original one, because some meta-properties of the connectives are lost after the combination process. In order to overcome this problem, the categoriesMcon and Seq of multip...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004